
if a then b
